Proving Exploiter/Traitor Is Better Than Exploiter/Rfr